Struct isotope::builder::Builder[][src]

pub struct Builder<T = StandardCtx> { /* fields omitted */ }
Expand description

A converter for isotope ASTs into in-memory representation

Implementations

Create a new builder for isotope values

Handle a statement

Build an expression into a term

Get a variable

Build a variable

Build an identifier

Build an application

Build an application from a slice of expressions

Apply a term to a slice of expressions

Build an application within this context

Build a lambda function

Build a pi type

Build a parametrized term

Build a typing universe

Build an enumeration

Build a variant

Build the type of booleans

Build a boolean

Build a case statement

Build an annotated term

Build a term with an annotation

Build a scope

Register a substitution

Get this builder’s underlying typing context

Trait Implementations

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

Formats the value using the given formatter. Read more

Returns the “default value” for a type. Read more

This method tests for self and other values to be equal, and is used by ==. Read more

This method tests for !=.

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Borrow an optional value of type T

Compare self to key and return true if they are equal.

Performs the conversion.

Performs the conversion.

The resulting type after obtaining ownership.

Creates owned data from borrowed data, usually by cloning. Read more

🔬 This is a nightly-only experimental API. (toowned_clone_into)

recently added

Uses borrowed data to replace owned data, usually by cloning. Read more

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.